Of Models, Rationales and Prototypes: Studying Designer Needs in an Airborne Maritime Surveillance Drawing Tool to Support Audio Communication

International audienceIn this work, we seek to understand the needs of interaction designers involved in industrial system engineering processes. While current research offers a set of methods and tools for them, we believe that more empirical user studies focusing on designers are needed, in particular to support how model-based activity analysis may inform their decisions. Our designers’ need analysis is conducted through participatory design and contextual inquiry, and applied through a real use-case project: a distributed tactile tool for airborne maritime surveillance. Thanks to this study, we report on our insights on the usability problems and needs related in particular to scenario-based modeling, model-based design rationales and design-based model refinement

A System Organic Architecture Based on Dynamic Functional Architecture Modeling

International audienceWe focus on dynamic model usability and utility, performed throughout system engineering. The dynamic model is designed in relation to the system use scenarios. We generate then automatically the static models (data model, component model) from the dynamic one. A dynamic functional modeling based method is proposed to generate automatically the static and the dynamic organic architecture of a system. The method consists of the definition of system engineering rules constraining the transformation of a dynamic functional model of the system into static and dynamic organic models. The system engineering rules conform to a 3-layers organic architecture. The implementation of this transformation with operational-QVT allows an automatic generation of the organic models. The illustration of the transformation concerns a system of ordering. This work discusses on the relevancy of this method based on Model Driven Engineering

Towards an Enactment Mechanism for MODAL Process Models

International audienc

Model integration for formal qualification of timing-aware software data acquisition components

The paper proposes to integrate design and formal modelling approaches, based on MARTE, IF and CDL, to evaluate different possible uses and configurations of a data acquisition software component. The uses are related to actor's (sensor and application) behaviour and configurations are related to implementation parameterization. Evaluation considers safety and performance properties, delay evaluation, and are automatically evaluated by OBP tool. The work is illustrated via an example to show the impact of parameters and contextual use on software acquisition driver performances. Using this tool, it is possible to tune the driver's parameters to get the required performances, in term of delays, for a certain context use. The approach is applied to sensor monitoring applications

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires first to model the system to be validated, then to formalize the properties to be satisfied, and finally to describe the behavior of the environment. This last point which we name as the proof context is often neglected. It could, however, be of great importance in order to reduce the complexity of the proof. The question is then how to formalize such a proof context. In the Topcased project, we designed a language, named CDL (Context Description Language), for describing a system environment using actors and sequence diagrams, together with the properties to be checked. The properties are specified with textual patterns and attached to specific regions in the context. CDL is designed so that formal artifacts required by existing model checkers could be automatically generated from it. This generation is currently implemented in a prototype tool named OBP (Observer Based Prover). Our contribution is a report on several industrial embedded system applications and our future works

Information System Services Generation of Business Services Specification and Based on a System-of-Services Logical Architecture Pattern

International audienc

CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function

International audienceOne key objective of Cyber-Physical System (CPS) simulation is to evaluate different CPS configurations regarding a certain user objective. First, simulation of CPS necessitates frameworks to handle heterogeneity of CPS components (the software and hardware system control, the behavior of the CPS itself and its physical environment). Then, to build simulators, designers use paradigms like FMI (Functional Mock-Up Interface) that proposes a data-driven generic interface facilitating the integration of heterogeneous models. However, in order to facilitate simulation configuration, an approach is required to drive modeling of parametric features and operational conditions. In this paper, we present CARES, a component-based and modeldriven approach to facilitate CPS simulation. CARES is applied to evaluate an Autonomous Underwater Vehicle (AUV) navigation function by simulation. The proposed models integrate both the principles of a generic simulation (integration of Component Based Software Engineering CBSE concepts and FMI paradigm) and domain specific aspects through a component-based architecture style. From a design model, a code generator builds the structural (Java or C++) code of the simulator. The generated code relies on a given run-time library for its execution and its structure facilitates integration of domain-specific code. The experiments show the effectiveness of the approach to build simulators for evaluation of different AUV configurations

CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function

International audienc